自動勉強会 vol.3 共同編集(後編)
https://gyazo.com/0b894a9b53bc958d4e388c0210cbf8ef
10/22(金) 20:00 - 22:00
Googleカレンダーに登録
共同編集&アンドゥで他の人の編集が飛ばないようにどうマージするか
/daiiz/Google DocsのようなCollaborationを実現するGoogle Realtime API
共同編集入門として最初に観て勉強になった動画 daiiz.icon
Realtime API の廃止とストレージ API への注力
今悩んでるところ
共同編集の方式(CRDT)とかどこで知識を得るのですか D.icon
scrapboxのコンフリクト解消は、実用Gitという本を読んだらだいたいわかったとrakusai.iconが言っていましたshokai.icon
ただ、Gitと違ってユーザーにコンフリクト解消モードに入って修正してもらうわけにはいかない
何か良い感じに辻褄を合わせる必要がある
「良い感じ」はアプリケーション毎に違う
scrapboxの場合
全ての更新コマンドにIDとparentIDを持たせる
parentIDが最新のIDと一致しないコマンドが来たら、rejectする
なるほど、一直線にするんですねー
共同編集
CRDT (Conflict-free Replicated Data Type)
OT (Operational Transform)
Fluid Framework
「共同編集ありのGUIっていつから出てきましたっけ」
絵茶
Google Docs?
最終的にRPCの文脈にならない?
https://togetherjs.com/
mozillaは一体なぜこれを作ったのか...miyanokomiya.icon
なぜかJSFiddleに移管されてた
diff
テキストのdiff
編集距離
https://github.com/google/diff-match-patch
jsondiffpatch
マージ